Common Knowledge and Update in Finite Environments
نویسندگان
چکیده
منابع مشابه
Common Knowledge and Update in Finite Environments
Logics of knowledge have been shown to provide a useful approach to the high level speciication and analysis of distributed systems. It has been proposed that such systems can be developed using knowledge-based protocols, in which agents' actions have preconditions that test their state of knowledge. Both computer-assisted analysis of the knowledge properties of systems and automated compilatio...
متن کاملCommon knowledge in update logics
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express the essence of what communication achieves. We present some methods that yield so-called reduction axioms for common knowledge. We investigate the expressive power of public announcement logic with relativized common kn...
متن کاملefl learners collocational knowledge in writing and translation
این مطالعه به بررسی دانش همنشین های دانشجویان زبان انگلیسی فارسی زبان می پردازد. در ابتدا، ارتباط یین دانش عمومی زبان و دانش همنشین های زبان آموزان مورد بررسی قرار می گیرد. دومین هدف این مطالعه بررسی استراتژیهای مورد استفاده در ترجمه همنشین های انگلیسی به فارسی است. در نهایت، خطا های زبان آموزان در تولید و درک همنشین ها مورد آنالیز و بررسی قرار می گیرد. دویست و بیست هفت دانشجوی زبان در این مطال...
Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments
Knowledge-based programs (KBPs) are a formalism for directly relating an agent’s knowledge and behaviour. Here we present a general scheme for compiling KBPs to executable automata with a proof of correctness in Isabelle/HOL. We develop the algorithm top-down, using Isabelle’s locale mechanism to structure these proofs, and show that two classic examples can be synthesised using Isabelle’s code...
متن کاملassessment of deep word knowledge in elementary and advanced iranian efl learners: a comparison of selective and productive wat tasks
testing plays a vital role in any language teaching program. it allows teachers and stakeholders, including program administrators, parents, admissions officers and prospective employers to be assured that the learners are progressing according to an accepted standard (douglas, 2010). the problems currently facing language testers have both practical and theoretical implications but the first i...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1998
ISSN: 0890-5401
DOI: 10.1006/inco.1997.2679